home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r399rs.lha / r4rs.toc < prev    next >
Encoding:
Text File  |  1989-08-31  |  5.0 KB  |  79 lines
  1. \contentsline {chapter}{Introduction}{2}
  2. \contentsline {chapter}{\numberline {1}Overview of Scheme}{3}
  3. \contentsline {section}{\numberline {1.1}Semantics}{3}
  4. \contentsline {section}{\numberline {1.2}Syntax}{3}
  5. \contentsline {section}{\numberline {1.3}Notation and terminology}{3}
  6. \contentsline {subsection}{\numberline {1.3.1}Essential and non-essential features}{3}
  7. \contentsline {subsection}{\numberline {1.3.2}Error situations and unspecified behavior}{3}
  8. \contentsline {subsection}{\numberline {1.3.3}Entry format}{4}
  9. \contentsline {subsection}{\numberline {1.3.4}Evaluation examples}{4}
  10. \contentsline {subsection}{\numberline {1.3.5}Naming conventions}{4}
  11. \contentsline {chapter}{\numberline {2}Lexical conventions}{5}
  12. \contentsline {section}{\numberline {2.1}Identifiers}{5}
  13. \contentsline {section}{\numberline {2.2}Whitespace and comments}{5}
  14. \contentsline {section}{\numberline {2.3}Other notations}{5}
  15. \contentsline {chapter}{\numberline {3}Basic concepts}{6}
  16. \contentsline {section}{\numberline {3.1}Variables and regions}{6}
  17. \contentsline {section}{\numberline {3.2}True and false}{6}
  18. \contentsline {section}{\numberline {3.3}External representations}{6}
  19. \contentsline {section}{\numberline {3.4}Disjointness of types}{7}
  20. \contentsline {section}{\numberline {3.5}Storage model}{7}
  21. \contentsline {chapter}{\numberline {4}Expressions}{7}
  22. \contentsline {section}{\numberline {4.1}Primitive expression types}{7}
  23. \contentsline {subsection}{\numberline {4.1.1}Variable references}{7}
  24. \contentsline {subsection}{\numberline {4.1.2}Literal expressions}{7}
  25. \contentsline {subsection}{\numberline {4.1.3}Procedure calls}{8}
  26. \contentsline {subsection}{\numberline {4.1.4}Lambda expression{}s}{8}
  27. \contentsline {subsection}{\numberline {4.1.5}Conditionals}{8}
  28. \contentsline {subsection}{\numberline {4.1.6}Assignments}{9}
  29. \contentsline {section}{\numberline {4.2}Derived expression types}{9}
  30. \contentsline {subsection}{\numberline {4.2.1}Conditionals}{9}
  31. \contentsline {subsection}{\numberline {4.2.2}Binding constructs}{10}
  32. \contentsline {subsection}{\numberline {4.2.3}Sequencing}{10}
  33. \contentsline {subsection}{\numberline {4.2.4}Iteration}{11}
  34. \contentsline {subsection}{\numberline {4.2.5}Delayed evaluation}{11}
  35. \contentsline {subsection}{\numberline {4.2.6}Quasiquotation}{11}
  36. \contentsline {chapter}{\numberline {5}Program structure}{12}
  37. \contentsline {section}{\numberline {5.1}Programs}{12}
  38. \contentsline {section}{\numberline {5.2}Definitions}{12}
  39. \contentsline {subsection}{\numberline {5.2.1}Top level definitions}{12}
  40. \contentsline {subsection}{\numberline {5.2.2}Internal definitions}{13}
  41. \contentsline {chapter}{\numberline {6}Standard procedures}{13}
  42. \contentsline {section}{\numberline {6.1}Booleans}{13}
  43. \contentsline {section}{\numberline {6.2}Equivalence predicates}{13}
  44. \contentsline {section}{\numberline {6.3}Pairs and lists}{15}
  45. \contentsline {section}{\numberline {6.4}Symbols}{18}
  46. \contentsline {section}{\numberline {6.5}Numbers}{19}
  47. \contentsline {subsection}{\numberline {6.5.1}Numerical types}{19}
  48. \contentsline {subsection}{\numberline {6.5.2}Exactness}{19}
  49. \contentsline {subsection}{\numberline {6.5.3}Implementation restrictions}{19}
  50. \contentsline {subsection}{\numberline {6.5.4}Syntax of numerical constants}{20}
  51. \contentsline {subsection}{\numberline {6.5.5}Numerical operations}{21}
  52. \contentsline {subsection}{\numberline {6.5.6}Numerical input and output}{24}
  53. \contentsline {section}{\numberline {6.6}Characters}{24}
  54. \contentsline {section}{\numberline {6.7}Strings}{25}
  55. \contentsline {section}{\numberline {6.8}Vectors}{26}
  56. \contentsline {section}{\numberline {6.9}Control features}{27}
  57. \contentsline {section}{\numberline {6.10}Input and output}{29}
  58. \contentsline {subsection}{\numberline {6.10.1}Ports}{29}
  59. \contentsline {subsection}{\numberline {6.10.2}Input}{30}
  60. \contentsline {subsection}{\numberline {6.10.3}Output}{31}
  61. \contentsline {subsection}{\numberline {6.10.4}System interface}{31}
  62. \contentsline {chapter}{\numberline {7}Formal syntax and semantics}{32}
  63. \contentsline {section}{\numberline {7.1}Formal syntax}{32}
  64. \contentsline {subsection}{\numberline {7.1.1}Lexical structure}{32}
  65. \contentsline {subsection}{\numberline {7.1.2}External representations}{33}
  66. \contentsline {subsection}{\numberline {7.1.3}Expressions}{33}
  67. \contentsline {subsection}{\numberline {7.1.4}Quasiquotations}{33}
  68. \contentsline {subsection}{\numberline {7.1.5}Programs and definitions}{34}
  69. \contentsline {section}{\numberline {7.2}Formal semantics}{34}
  70. \contentsline {subsection}{\numberline {7.2.1}Abstract syntax}{34}
  71. \contentsline {subsection}{\numberline {7.2.2}Domain equations}{34}
  72. \contentsline {subsection}{\numberline {7.2.3}Semantic functions}{34}
  73. \contentsline {subsection}{\numberline {7.2.4}Auxiliary functions}{35}
  74. \contentsline {section}{\numberline {7.3}Derived expression types}{36}
  75. \contentsline {chapter}{Notes}{38}
  76. \contentsline {chapter}{Example}{39}
  77. \contentsline {chapter}{Bibliography and references}{40}
  78. \contentsline {chapter}{Alphabetic index of definitions of concepts,\hfil \penalty 0 \hbox {\phspace *{2em} keywords, and procedures}}{43}
  79.